Model-Based Tool Qualification of the TI C/C++ ARM® Compiler
نویسنده
چکیده
The SafeTITM Compiler Qualification Kit is a modern, model-based qualification kit that offers a high degree of flexibility during application of the kit. This paper will describe challenges posed by the safety standards and processes, as well as illustrate the benefits of model-based tool qualification. The second part of the paper focuses on the Texas Instruments C/C++ ARM® compiler specific aspects. Its model combines the C software programming language conformance tests provided by the SuperTest qualification suite with specific TI test cases for the TI C/C++ compiler. Using examples, we illustrate how the contained qualification support tool assists during qualification of the compiler and provide a description of the generated documents. Model-Based Tool Qualification of the TI C/C++ ARM® Compiler
منابع مشابه
Structural characteristics and tribological properties of TiAlCr(Si)CN nanocomposite films coated on the SPK 1.2080 tool steel using PVD technique
In the present work, structural characteristics and tribological properties of the Ti-Al-Cr-(Si)-C-N nanocomposite films coated on the SPK 1.2080 tool steel byPVD technique have been investigated. The PVD coating process was carried out using Ti (Si) Al and CrAl cathodes at 150 A current, 40 V bias and (Ar)0.1(CH4)0.45(N2)0.45 gas mixture for 50 min. Evaluations were conducted by OM, FESEM, AFM...
متن کاملInfluence of Water Cooling on Orthogonal Cutting Process of Ti-6Al-4V Using Smooth-Particle Hydrodynamics Method
Temperature control during the cutting process with different parameters such as cutting velocity and applying water cooling is essential to decrease the cutting force, increase the life of the cutting tool and decrease the machined surface temperature of work-piece. In this research, the temperature of machined surface and the chip-tool interface in orthogonal cutting process of Ti-6Al-4V were...
متن کاملAutomatic C Compiler Generation from Architecture Description Language ISAC
This paper deals with retargetable compiler generation. After an introduction to applicationspecific instruction set processor design and a review of code generation in compiler backends, ISAC architecture description language is introduced. Automatic approach to instruction semantics extraction from ISAC models which result is usable for backend generation is presented. This approach was succe...
متن کاملControl Of C/Ti Ratio in Titanium Carbide - Copper Master Alloys Produced by SHS Reactions and its Effect on the Carbide Dispersion In Liquid Copper
Titanium carbide is used as an attractive reinforcement to produce particulate metal matrix composites. One of the problems to use this carbide as a reinforcement in copper-based composites is the lack of wetability in Cu-TiC system. This property improves as the C/Ti ratio in carbide decreases.
Problems to use this carbide as a reinforcement in copper-based composites is the lack of wetabii...
متن کاملLecture Notes in Computer Science 7641
The application of test automation tools in a safety-critical context requires so-called tool qualification according to the applicable standards. The objective of this qualification is to justify that verification steps automated by the tool will not lead to faulty systems under test to be accepted as fit for purpose. In this paper we review the tool qualification requirements of the standards...
متن کامل